złożoność obliczeniowa
Encyklopedia PWN
mat. hipoteza w teorii złożoności obliczeniowej stwierdzająca, że klasa problemów rozwiązywanych przez deterministyczne maszyny Turinga w czasie zależnym wielomianowo od rozmiaru wejścia (P) jest różna (dokładniej — mniejsza) od analogicznej klasy dla maszyn niedeterministycznych (NP);
informatyk, automatyk; prof. Politechn. Wrocł.; członek PAN;
mat. problemy obliczeniowe o szczególnych własnościach z punktu widzenia teorii złożoności obliczeniowej;